Add resource "Intelligent Agents I" Accepted
The requested resource couldn't be found.
Changes: 9
-
Add Intelligent Agents I
- Title
-
- Unchanged
- Intelligent Agents I
- Type
-
- Unchanged
- Course
- Created
-
- Unchanged
- no value
- Description
-
- Unchanged
- The objective of this course is to introduce students to knowledge representation and reasoning methods for intelligent agent systems.
- Link
-
- Unchanged
- https://wwwen.uni.lu/layout/set/print/studies/fstm/master_in_information_and_computer_sciences/programme?f=MAACAINFCOMPSCI_2&c=0008C2988
- Identifier
-
- Unchanged
- MICS2-21
Resource | v1 | current (v1) -
Add Modal Logic (Stanford Encyclopedia of Philosophy)
- Title
-
- Unchanged
- Modal Logic (Stanford Encyclopedia of Philosophy)
- Type
-
- Unchanged
- Book
- Created
-
- Unchanged
- 2018
- Description
-
- Unchanged
- A modal is an expression (like ‘necessarily’ or ‘possibly’) that is used to qualify the truth of a judgement. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions ‘it is necessary that’ and ‘it is possible that’. However, the term ‘modal logic’ may be used more broadly for a family of related systems. These include logics for belief, for tense and other temporal expressions, for the deontic (moral) expressions such as ‘it is obligatory that’ and ‘it is permitted that’, and many others. An understanding of modal logic is particularly valuable in the formal analysis of philosophical argument, where expressions from the modal family are both common and confusing. Modal logic also has important applications in computer science.
- Link
-
- Unchanged
- https://plato.stanford.edu/archives/fall2018/entries/logic-modal/
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Modal logic
- Title
-
- Unchanged
- Modal logic
- Description
-
- Unchanged
- Modal logic is a collection of formal systems originally developed and still widely used to represent statements about necessity and possibility. For instance, the modal formula ◻P → ◊P can be read as "if P is necessary, then it is also possible". This formula is widely regarded as valid when necessity and possibility are understood with respect to knowledge, as in epistemic modal logic. The first modal axiomatic systems were developed by C. I. Lewis in 1912, building on an informal tradition stretching back to Aristotle. The relational semantics for modal logic was developed by Arthur Prior, Jaakko Hintikka, and Saul Kripke in the mid twentieth century. In this semantics, formulas are assigned truth values relative to a possible world.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=333365
Topic | v1 | current (v1) -
Add University of Luxembourg
- Name
-
- Unchanged
- University of Luxembourg
- Bio
-
- Unchanged
- The University of Luxembourg (est. in 2003) (Luxembourgish: Universitéit vu Lëtzebuerg; French: Université du Luxembourg; German: Universität von Luxemburg) is a public research university in Luxembourg. It has three faculties and three interdisciplinary research centres.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=5231096
Author | v1 | current (v1) -
Add Modal logic treated in Intelligent Agents I
- Current
- treated in
Topic to resource relation | v1 -
Add Modal logic treated in Modal Logic (Stanford Encyclopedia of Philosophy)
- Current
- treated in
Topic to resource relation | v1 -
Add Stanford University published Modal Logic (Stanford Encyclopedia of Philosophy)
- Current
- (detached)
Author to resource relation | v1 -
Add University of Luxembourg published Intelligent Agents I
- Current
- published
Author to resource relation | v1 -
Add Intelligent Agents I references Modal Logic (Stanford Encyclopedia of Philosophy)
- Current
- references
Resource to resource relation | v1