• Keine Ergebnisse gefunden

Nonmonotonic Reasoning

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2022

Aktie "Nonmonotonic Reasoning"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Faculty of Computer Science Institute of Theoretical Computer Science, Chair of Automata Theory

Nonmonotonic Reasoning

Winter Semester 2017/18 Exercise Sheet 10 – Inf. relations, expansions 19th January 2018 Dr. (habil.) Anni-Yasmin Turhan

Exercise 10.1 Pick 7 properties for inference relations defined in the lecture. Determine which of these properties hold for the credulous inference relation`D,Crefor default theories.

Give proofs or counterexamples.

Exercise 10.2 We turn to belief revision, more precisely to expansions.

Show thatT+

ϕ∧ψ= (T+

ϕ)+ψ.

1

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 74.32 KB )

ÄHNLICHE DOKUMENTE

Description Logic

Faculty of Computer Science Institute of Theoretical Computer Science, Chair of Automata Theory.. Description Logic Winter

Nonmonotonic Reasoning

Faculty of Computer Science Institute of Theoretical Computer Science, Chair of Automata Theory.. Nonmonotonic Reasoning Winter

Nonmonotonic Reasoning

Faculty of Computer Science Institute of Theoretical Computer Science, Chair of Automata Theory. Nonmonotonic Reasoning Winter

Nonmonotonic Reasoning

Exercise 5.2 Devise a default theory with three extensions and compute all brave and all cautious consequences (modulo equivalence) of it. Exercise 5.3 Express some of the examples

Nonmonotonic Reasoning

Nonmonotonic Reasoning Winter Semester 2017/18 Exercise Sheet 9 – Inference relations 16th January

Theory of Computer Science

Gabriele R¨ oger (University of Basel) Theory of Computer Science April 26, 2021 5 /

Theory of Computer Science

Gabriele R¨ oger (University of Basel) Theory of Computer Science April 8, 2019 2 / 21?.

Theory of Computer Science

Prove with a direct proof: for all finite sets S, the power set P(S) has cardinality 2