← Back to catalogue
Published

computer science

vr.tr.computer-science · thing-q21198

Let an agent handle computer science as a discipline with fields, methods and ethics, and separate established results from hype.

Thing Registry Information and virtual systems INF.KNW
Bundle → Layer → Finding → QuestionsClassifiersWhat it isWhy it existsDistinguishing featuresWhat robots and AI may and may not doMoral aspectsOwnersLinks to other meta-modelsIdentity and identifiersDirect propertiesRecognitionCapabilities and actionsHazards and failure modesStandards and interfacesContext of useSources

Bundle → Layer → Finding → Questions Filled

4 bundles · 8 layers · 8 findings · 16 questions

Field Which area.

Area

Sub-discipline.

Area

Field.

  1. Which area of computer science applies? definition
  2. Which ACM class? provenance

Methods

Theory and experiment.

Methods

Methods.

  1. Which methods are used? definition
  2. How are results validated? provenance
Results What is known.

Established

Proven results.

Established

Established knowledge.

  1. Is this an established result or a claim? boundary
  2. Which sources support it? provenance

Open problems

Unsolved.

Open problems

Open problems.

  1. Which related problems are open? boundary
  2. What progress has been made? provenance
Practice Building systems.

Engineering

Software and systems.

Engineering

Engineering practice.

  1. Which engineering practices apply? provenance
  2. How is quality assured? action

Security

Safety.

Security

Security.

  1. What security risks arise? boundary
  2. How are they mitigated? action
Ethics Impacts.

Impact

Society.

Impact

Societal impact.

  1. What societal impacts does this have? boundary
  2. Who is affected? boundary

Regulation

Law.

Regulation

Applicable law.

  1. Which laws apply, such as the AI Act? provenance
  2. What obligations follow? boundary

Classifiers Filled

Family
Thing Registry
Category
Information and virtual systems
Entry kind
thing
Plane
INF
Domain
INF.KNW
Other names and narrower kinds
virtual influencer, distributed social network, data management and data science, music informatics, computational sustainability, theoretical computer science, human–computer interaction, genome informatics, video game science, volunteer computing, security engineering, forensic software engineering

What it is Filled

The study of computation, information and automation, including algorithms, programming languages, systems, data, artificial intelligence and theory.

Why it exists Filled

Let an agent handle computer science as a discipline with fields, methods and ethics, and separate established results from hype.

Distinguishing features Filled

  • Formal and engineering discipline
  • Theory and practice
  • Rapidly changing
  • Ethical and security dimensions

What robots and AI may and may not do Filled

Must not

  • Write or deploy software to break into systems the agent is not authorized to test.
  • Present untested code or proofs as correct.
  • Claim credit for other people's algorithms or code.
  • Build systems that collect personal data beyond their stated purpose.

Only with a human decision

  • Deploying code to production systems that people depend on.

May

  • Explain concepts of computer science from reliable sources.
  • Write, review and test code for systems it is authorized to work on.

Moral aspects Filled

  • Software decides more and more about people's lives; errors and bias scale quickly.
  • Computing skills can protect or attack systems; their use must stay lawful.

Who is affected

  • Users of software
  • Developers and researchers
  • People affected by automated decisions

Owners Filled

Steward

Nobody: a field of knowledge; universities and professional societies sustain it.

Links to other meta-models Filled

parent

  • Q816264 - registry parent class

related

  • formal science - discipline
  • computer program - artefacts
  • mathematics - foundations
  • data and computation - subjects

What else AI and robots need to interact with it Filled

Identity and identifiers required Filled

  • Vercy registry: vr.tr.computer-science
  • Wikidata: Q21198 (https://www.wikidata.org/wiki/Q21198)
  • ACM CCS code: classification ACM Computing Classification System

Direct properties not applicable Not applicable

Not applicable

Plane INF: no invented physical properties.

Recognition optional Filled

  • Fields such as theory, systems, AI
  • ACM classifications
  • Applied areas such as music informatics
  • Code, algorithms, systems and papers.

Capabilities and actions required Filled

  • study and teach it
  • design algorithms and systems
  • research AI and data
  • assess societal impacts

Hazards and failure modes required Filled

  • Hype presented as fact
  • Security vulnerabilities
  • Biased systems

Standards and interfaces required Filled

  • EU AI Act
  • Data protection law
  • Computing ethics codes such as the ACM Code of Ethics

Context of use required Filled

  • Understanding and building computational systems.
  • theoretical computer science
  • systems and networks
  • artificial intelligence and machine learning
  • data management and data science
  • human-computer interaction
  • applied informatics

Sources Filled

  1. Wikidata item Q21198: computer science - identity and sense of the item
  2. Wikipedia: Computer science - general description of the item

Open questions

  • Should fields be separate entries?
  • How should agents present AI capabilities honestly?
  • The registry entry has merged aliases such as virtual influencer; should they be split off?

Machine files

Card as JSON Specification Card backlog vercy.card/1

Provenance

thing registry research (pass 2) · unreviewed

Built from: models/things/publications/thing-q21198/spec.json