(Top Banner Ad)
event calculus
C1
noun C1 Khoa học máy tính, Trí tuệ nhân tạo

event calculus

UK: ɪˈvɛnt ˈkælkjʊləs • US: ɪˈvɛnt ˈkælkjʊləs

Nghĩa tiếng Việt

phép tính sự kiện
Advanced (C1)
(Content Banner Ad)

Definition & Meaning

English Definition

A logic-based approach to reasoning about actions and change, focusing on events as the primary drivers of state transitions.

Vietnamese Meaning

Một phương pháp dựa trên logic để suy luận về các hành động và sự thay đổi, tập trung vào các sự kiện như là động lực chính của các chuyển đổi trạng thái.

Media Context

Interactive Examples (Tap video to Pause/Play).

Examples

  • "Event calculus is used to model dynamic systems in artificial intelligence."

    "Phép tính sự kiện được sử dụng để mô hình hóa các hệ thống động trong trí tuệ nhân tạo."

  • "The event calculus allows us to reason about the effects of actions over time."

    "Phép tính sự kiện cho phép chúng ta suy luận về tác động của các hành động theo thời gian."

  • "We used event calculus to model the behavior of a robot in a dynamic environment."

    "Chúng tôi đã sử dụng phép tính sự kiện để mô hình hóa hành vi của một robot trong môi trường động."

Word Family (Họ từ)

POSWordMeaning
Noun event Sự kiện, biến cố
Adjective eventual Cuối cùng, rốt cuộc (xảy ra sau cùng)
Adverb eventually Cuối cùng thì, rốt cục thì
Noun calculus Phép tính, vi tích phân; hệ thống suy luận
Verb calculate Tính toán
Noun calculation Sự tính toán, phép tính
Adjective calculable Có thể tính được

Synonyms

temporal reasoning (suy luận thời gian)action language (ngôn ngữ hành động)

Related Words

situation calculus (phép tính tình huống)fluent calculus (phép tính lưu loát)

Subject Area

Khoa học máy tính, Trí tuệ nhân tạo

Etymology (Nguồn gốc)

Latin
eventus (outcome, occurrence)
English
event
Latin
calculus (small pebble, counter)
English
calculus (system of calculation)
Computer Science/AI (1986)
event calculus

Nguồn gốc 'Event'

Từ 'event' có nguồn gốc từ tiếng Latin 'eventus', nghĩa là 'kết quả' hoặc 'sự việc xảy ra', bắt nguồn từ động từ 'evenire' (có nghĩa là 'xảy ra, xuất hiện'). Nó mô tả bất kỳ điều gì diễn ra hoặc xảy ra.

Nguồn gốc 'Calculus'

Từ 'calculus' ban đầu trong tiếng Latin có nghĩa là 'viên sỏi nhỏ' hoặc 'cục đá' dùng để đếm. Sau này, nó phát triển nghĩa rộng hơn để chỉ một phương pháp hoặc hệ thống tính toán, suy luận phức tạp, như trong 'vi tích phân' (differential calculus).

Sự ra đời của 'Event Calculus'

'Event Calculus' là một thuật ngữ hiện đại, được nhà khoa học máy tính Robert Kowalski và Marek Sergot giới thiệu vào năm 1986. Nó được tạo ra trong lĩnh vực Trí tuệ Nhân tạo (AI) để mô tả và suy luận về các sự kiện và thay đổi theo thời gian, giúp máy tính hiểu được thế giới năng động.

Usage Note

Event calculus là một formalism trong lĩnh vực biểu diễn tri thức và suy luận. Nó khác với situation calculus ở chỗ nó tập trung vào các sự kiện (events) hơn là các trạng thái (situations). Nó đặc biệt hữu ích trong việc mô hình hóa các hệ thống nơi các sự kiện xảy ra theo thời gian và gây ra những thay đổi trong trạng thái của thế giới. Nó có khả năng xử lý các vấn đề về thời gian, đồng thời, và các tác động không xác định.

Prepositions

in for

in: thường dùng để chỉ phạm vi ứng dụng (e.g., event calculus in robotics). for: thường dùng để chỉ mục đích sử dụng (e.g., event calculus for reasoning about time).

Collocations (Từ đi kèm)

Động từ + event calculus
  • use use event calculus
    (sử dụng phép tính sự kiện)
  • apply apply event calculus
    (áp dụng phép tính sự kiện)
  • develop develop event calculus
    (phát triển phép tính sự kiện)
  • implement implement event calculus
    (triển khai phép tính sự kiện)
  • extend extend event calculus
    (mở rộng phép tính sự kiện)
  • reason with reason with event calculus
    (suy luận bằng phép tính sự kiện)
Tính từ + event calculus
  • standard standard event calculus
    (phép tính sự kiện tiêu chuẩn)
  • first-order first-order event calculus
    (phép tính sự kiện bậc nhất)
  • extended extended event calculus
    (phép tính sự kiện mở rộng)
  • classical classical event calculus
    (phép tính sự kiện cổ điển)
Danh từ + của event calculus
  • framework framework of event calculus
    (khuôn khổ của phép tính sự kiện)
  • theory theory of event calculus
    (lý thuyết về phép tính sự kiện)
  • approach approach to event calculus
    (cách tiếp cận phép tính sự kiện)

Idioms

  • Reasoning about actions using Event Calculus

    Suy luận về các hành động sử dụng Phép tính Sự kiện (Đây là một cụm từ kỹ thuật, không phải thành ngữ theo nghĩa bóng.)

    "Researchers often use reasoning about actions using Event Calculus to model dynamic environments in AI."

    (Các nhà nghiên cứu thường sử dụng suy luận về các hành động bằng Phép tính Sự kiện để mô hình hóa môi trường động trong AI.)

  • An Event Calculus based system

    Một hệ thống dựa trên Phép tính Sự kiện (Đây là một cụm từ kỹ thuật, không phải thành ngữ theo nghĩa bóng.)

    "The team developed an Event Calculus based system for robot planning."

    (Nhóm đã phát triển một hệ thống dựa trên Phép tính Sự kiện để lập kế hoạch cho robot.)

Interactive Flashcard

Click the card to flip and test your memory.

event calculus

noun
Lật mặt

Một phương pháp dựa trên logic để suy luận về các hành động và sự thay đổi, tập trung vào các sự kiện như là động lực chính của các chuyển đổi trạng thái.

"Event calculus is used to model dynamic systems in artificial intelligence."

Nghe phát âm

Grammar Rules

No specific grammar rules found for this term.

Cultural Context

Khám phá các khía cạnh văn hóa và xã hội thú vị xoay quanh từ "event calculus".

Vai trò trong Trí tuệ Nhân tạo (AI)

Event Calculus là một trong những công cụ nền tảng trong Trí tuệ Nhân tạo (AI) để biểu diễn tri thức và suy luận về các thay đổi theo thời gian. Nó giúp máy tính hiểu được các sự kiện xảy ra, tác động của chúng lên trạng thái thế giới và cách các hành động thay đổi thực tế, một khía cạnh quan trọng để tạo ra các hệ thống thông minh thực sự.

Ứng dụng trong lập kế hoạch và Robotics

Khả năng suy luận về trình tự các sự kiện và hành động khiến Event Calculus trở nên vô cùng hữu ích trong lĩnh vực lập kế hoạch tự động và Robotics. Nó cho phép robot dự đoán kết quả của hành động, lập kế hoạch các bước để đạt được mục tiêu và phản ứng với các thay đổi trong môi trường một cách hợp lý.